; TEST-ARGS: -disallow-ub-exploitation
; SKIP-IDENTITY

define i1 @src(ptr %x) {
  %y = load i8, ptr %x, !range !1
  %c = icmp eq i8 %y, 9
  ret i1 %c
}

define i1 @tgt(ptr %x) {
  ret i1 false
}

!1 = !{i8 0, i8 5}

; ERROR: Source has guardable UB
